Towards lightweight checks for mass maintenance transformations
نویسنده
چکیده
We propose a lightweight, practical approach to check mass maintenance transformations. We present checks for both transformation tools and transformed source code, and illustrate them using examples of real-world transformations. Our approach is not a fully fledged, formal one but provides circumstantial evidence for transformation correctness, and has been applied to the mass maintenance of industrial Cobol systems. © 2005 Elsevier B.V. All rights reserved.
منابع مشابه
Towards Automated Integrity Constraints Modelling and Validation: A Survey and Approach
Semantic web techniques based on ontologies are a possible means for modelling and validating complex, safety-critical products like airplanes or automobiles. For validation purposes, checks based on the Open World Assumption (OWA) as well as checks based on the Closed World Assumption (CWA) are both valuable. Based on a survey of existing semantic-based approaches, we present a novel approach ...
متن کاملبررسی آزمایشگاهی خواص مکانیکی بتن سبک وخوردگی میلگرد آن جهت کاربرد در سازه‌های ساحلی و فراساحلی
Leca lightweight particles are used for structural and semi structural concrete in different countries. In Iran it is usually used as Mass lightweight concrete, blokes and partitions. In this research an experimental work carried out using Leca concrete to assess its physical and mechanical properties and possibility of constructing high strength lightweight concrete to use as structural elemen...
متن کاملTRANSFORMATIONS AND SEMANTICAL CHECKS FOR SIL - 1 Corrie
SIL (SPRITE Input Language) is developed as an intermediate format between a variety of specification languages and a number of input formats of synthesis tools and silicon compilers. The second aim in its development was to get a useful language backbone for transformational design, Therefore, SIL is based on a formal semantical model and on only a small number of basic concepts. Transformatio...
متن کاملTRANSFORMATIONS AND SEMANTICAL CHECKS FOR SIL - 1 Corrie Huijs
SIL (SPRITE Input Language) is developed as an intermediate format between a variety of specification languages and a number of input formats of synthesis tools and silicon compilers. The second aim in its development was to get a useful language backbone for transformational design, Therefore, SIL is based on a formal semantical model and on only a small number of basic concepts. Transformatio...
متن کاملDifferencing of Model Transformation Rules: Towards Versioning Support in the Development and Maintenance of Model Transformations
With model transformations arising as primary development artifacts in Model-driven Engineering, dedicated tools supporting the development and maintenance of model transformations are strongly required. Calculating differences between versions of transformations is an essential service for effectively managing their evolution. In this tool demonstration paper, we present support for this task ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Sci. Comput. Program.
دوره 57 شماره
صفحات -
تاریخ انتشار 2005